|(<+>hgrp)|   

latex

Up	groups 1
Definitions of Statement	|g|, , e, Mon, AbMon, Group{i}, AbGrp, OCMon, a  b, OGrp, |g|, ghgrp, <+>
Definitions	t  T, x:A. B(x), , S  T, , t.1, |g|, <+>, ghgrp, |g|, P  Q, P  Q, t.2, x f y, P & Q, Mon, Group{i}, AbGrp, a  b, e,
Lemmas	int add grp wf2, hgrp of ocgrp wf, grp car wf, le wf, assert of le int, abgrp wf, int add grp wf, hgrp car properties